A Program's Eye View of Miprac

Miprac is a parallelizing C, Lisp and Fortran compiler. We present its workings by following a C program as it progresses through the modules of the compiler. Miprac makes use of a simple, operational intermediate form, called MIL. Dependence analysis and memory management are performed by a whole-program abstract interpretation of MIL. We present the intermediate form, and illustrate the analysis and transformation of the example program as it becomes a parallel object code for Cedar. 1 The Philosophy of Miprac Miprac is an experimental parallelizer for C, Lisp and Fortran. It accepts a sequential program, or a program with user-speciied concurrency, in one of these languages, and produces a parallel object code for a shared-memory multipro-cessor. At present the compiler is targeted to CedarrKDLS87], the 32-processor machine built at CSRD. Miprac makes use of a simple intermediate form called MIL. MIL is a machine-independent assembly language, in which one can read or write the memory, transfer control by branching or calling a procedure, and combine